доказательство конечности
—
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]
Англо-русский словарь нормативно-технической терминологии. academic.ru. 2015.
Termination — may refer to:In science: *Termination codon, in molecular biology *Termination factor, in genetics, part of the process of transcribing RNA *Termination type, in lithic reduction, a characteristic indicating the manner in which the distal end of… … Wikipedia
Termination analysis — In computer science, a termination analysis is program analysis which attempts to determine whether the evaluation of a given program will definitely terminate. Because the halting problem is undecidable, termination analysis cannot work… … Wikipedia
Termination for Cause (Jericho episode) — Infobox Jericho episode Title = Termination for Cause Caption = Series = Jericho Season = 2 Episode = 5 Airdate = March 11, 2008 Writer = Rob Fresco Director = Guy Bee Guests = Prev = Oversight Next = Sedition MorseCode … Wikipedia
Residual block termination — In cryptography, residual block termination is a variation of cipher block chaining mode (CBC) that does not require any padding. It does this by effectively changing to cipher feedback mode for one block. The cost is the increased… … Wikipedia
Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… … Wikipedia
McCarthy 91 function — The McCarthy 91 function is a recursive function, defined by computer scientist John McCarthy as a test case for formal verification within computer science. The McCarthy 91 function is defined as The results of evaluating the function are given… … Wikipedia
List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia
Agda — Класс языка: функциональный, доказыватель теорем[en] Автор(ы): Ульф Норелл Релиз: 2.3.2 (12 ноября 2012) … Википедия
доказательство конечности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN termination, proof of … Справочник технического переводчика
ГОСТ 21962-76: Соединители электрические. Термины и определения — Терминология ГОСТ 21962 76: Соединители электрические. Термины и определения оригинал документа: 68. Байонетное замковое устройство электрического соединителя Е. Bayonet coupling Замковое устройство электрического соединителя, конструкция… … Словарь-справочник терминов нормативно-технической документации
Ordinal collapsing function — In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger … Wikipedia
